Verifying Agents' Conformance with Multiparty Protocols
نویسندگان
چکیده
The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles, which requires the agents to be interoperable and to produce correct executions of the protocol. We introduce conditions that enable each agent to be independently verified with respect to the protocol. We assume that protocols are specified in a temporal action theory and we show that the problem of verifying the conformance of an agent with a protocol can be solved by making use of automata based techniques.
منابع مشابه
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic
The paper addresses the problem of agents compatibility and their conformance to protocols. We assume that the specification of protocols is given in an action theory by means of temporal constraints and, in particular, communicative actions are defined in terms of their effects and preconditions on the social state of the protocol. We show that the problem of verifying the conformance of an ag...
متن کاملVerifying Conformance of Commitment Protocols via Symbolic Model Checking
Commitment protocols have been widely used to capture flexible and rich interactions among agents in multi-agent systems. Although there are several approaches specifying commitment protocols, none of them synthesize formal specification and automatic verification of these protocols within the same framework. This paper presents a new approach to automatically verify the conformance of commitme...
متن کاملGlobal Session Types for Dynamic Checking of Protocol Conformance of Multi-Agent Systems
Multi-agent systems (MASs) have been proved to be an industrial-strength technology for integrating and coordinating heterogeneous systems. However, due to their intrinsically distributed nature, testing MASs is a difficult task. In recent work [1] we have tackled the problem of runtime verification of the conformance of a MAS implementation to a specified protocol by exploiting global session ...
متن کاملVerifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implementation is “conformant” w.r.t. the abstract specification of it. In this work we tackle those aspects of the conformance verification issue, that regard the dependence/independence of conformance from the agent priva...
متن کاملPractical interruptible conversations
The rigorous and comprehensive verification of communication-based software is an important engineering challenge in distributed systems. Drawn from our industrial collaborations [33,28] on Scribble, a choreography description language based on multiparty session types, this paper proposes a dynamic verification framework for structured interruptible conversation programming. We first present o...
متن کامل